Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿฆ€Rust Borrowing
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐ŸงฎAlgebraic Datatypes
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
My First Rust Project
binwang.meยท3d
๐Ÿฆ€Rust Macros
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Rust's std and parking_lot mutexes โ€“ who wins?
blog.cuongle.devยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.netยท3d
๐Ÿฆ€Rust Borrowing
Flag this post
My first day in Rust
reddit.comยท18hยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Ÿ”“Hacking
Flag this post
Rust Hobby OS projects worth exploring
oshub.orgยท9hยท
๐Ÿฆ€Embedded Rust
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.orgยท11hยท
๐Ÿ”—Functional Compilers
Flag this post